The relational model for database management is a database model based on first-order predicate logic . 그는 IBM 에서 일하는 동안 데이터베이스 관리를 위한 관계형 모델 을 만들었다.
These form the basis of model theory as the domain of discourse of predicate logic . 이들은 술어 논리 의 논의 영역 으로서 모델 이론 의 기초를 형성하고 있다.
In a paper published in Mathematische Zeitschrift in 1935 Gentzen introduced two new versions of predicate logic now called the N -system and the L -system. 종이 Mathematische Zeitschrift 년 1935 Gentzen 출판 있음 술어 논리가 지금은 아 - 시스템과 패 시스템이라는 두 가지 새로운 버전을 발표했다.
